TEST[ESS,JMC] - www.SailDart.org

perm filename TEST[ESS,JMC] blob sn#030063 filedate 1973-03-17 generic text, type C, neo UTF8

COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M0NGR25\M1NGB25\M2BDI25\.
C00003 ENDMK
C⊗;
\\M0NGR25;\M1NGB25;\M2BDI25;\.

\F0	The function \F2subst \F0 is defined by

	\F2subst[x,y,z] ← \F1if at \F2z \F1then [if \F2z \F1eq \F2y \F1then \F2x \F1else \F2z]
			\F1else \F2subst[x,y,\F1a \F2z].subst[x,y,\F1d \F2z].